#include "vga_text.h"

#define SYSTEM_OUTPUT(CATEGORY,MESSAGE) vga_text_mode_printk("category:%s message:%s\n",CATEGORY,MESSAGE)